Concurrency control - PDFSEARCH.IO - Document Search Engine

Concurrency control
Results: 1488

#	Item
601	Atomic Instructions in Java David Hovemeyer, William Pugh, and Jaime Spacco Dept. of Computer Science, University of Maryland, College Park, MDUSA {daveho,pugh,jspacco}@cs.umd.edu Abstract. Atomic instructions at Add to Reading List Source URL: faculty.ycp.edu Language: English - Date: 2014-08-22 12:24:21 Concurrency Compare-and-swap Linearizability Double compare-and-swap Lock Load-link/store-conditional Non-blocking algorithm Memory barrier Monitor Concurrency control Computing Computer architecture
602	Finding Concurrency Bugs In Java David Hovemeyer and William Pugh Dept. of Computer Science, University of Maryland College Park, MarylandUSA {daveho,pugh}@cs.umd.edu Add to Reading List Source URL: faculty.ycp.edu Language: English - Date: 2014-08-22 12:24:21 Concurrency control Software bugs Concurrency Concurrent computing Computer memory Double-checked locking FindBugs Lock Thread Computing Software engineering Computer programming
603	Stride: Search-Based Deterministic Replay in Polynomial Time via Bounded Linkage Jinguo Zhou Xiao Xiao Charles Zhang The Prism Research Group Department of Computer Science and Engineering The Hong Kong University of Sci Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2012-05-22 11:04:10 Transaction processing Software engineering Lock Linearizability Parallel computing Extensible Storage Engine Variable Thread Concurrency control Computing Data management
604	Reducing Context Switching with Preemption-Threshold™ John Carbone Express Logic, Inc. 1 Add to Reading List Source URL: rtos.com Language: English - Date: 2011-01-31 14:42:11 Embedded operating systems Real-time operating systems Concurrency control Scheduling algorithms Multithreading ThreadX Thread Scheduling Mutual exclusion Computing Concurrent computing Computer architecture
605	D ISS . ETH N OCorrectness and Execution of Concurrent Object-Oriented Programs Add to Reading List Source URL: bitbucket.org Language: English - Date: 2015-04-22 12:43:55 Concurrency control Transaction processing Object-oriented programming SCOOP Concurrency Data management EiffelStudio Concurrent computing Eiffel Computing Computer programming Software engineering
606	An Observational Theory of Imperative Concurrent Data Structures in the π-Calculus Luca Fossati Kohei Honda Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2011-04-28 04:42:39 Concurrency control Synchronization Concurrent computing Theoretical computer science Π-calculus Non-blocking algorithm Parallel computing Concurrent data structure Calculus Process calculi Computing Concurrency
607	Object Interconnections Comparing Alternative Programming Techniques for Multi-threaded CORBA Servers: Thread Pool (Column 6) Douglas C. Schmidt Steve Vinoski Add to Reading List Source URL: www.cs.wustl.edu Language: English - Date: 1998-11-19 15:41:57 Threads Concurrency control Software design patterns Thread pool pattern Parallel computing Inter-process communication Monitor Thread safety Lock Computing Concurrent computing Computer programming
608	Microsoft PowerPoint - HC18.0120.T1.tutorialAM_part2.ppt Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2013-07-27 23:48:32 Data Information Software transactional memory Lock Transactional memory Linearizability Hash table Parallel computing Hash function Concurrency control Transaction processing Data management
609	Microsoft PowerPoint - HC18.0120.T1.tutorialAM_part3.ppt Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2013-07-27 23:48:33 Data management Software engineering Programming language implementation Software transactional memory Transactional memory Oz Lock Database transaction Transaction processing Concurrency control Computing
610	BulkSC: Bulk Enforcement of Sequential Consistency Luis Ceze, University of Washington sa pa Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2010-01-12 03:56:06 Sequential consistency Concurrency control Transaction processing Linearizability

UPDATE